41. Graph Structures for Knowledge Representation and Reasoning
پدیدآورنده: edited by Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence,Computer science,Computer software,Logic design,Algorithm Analysis and Problem Complexity,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Techniques
42. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده: by Steven G. Krantz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
43. Implementation and Application of Functional Languages
پدیدآورنده: edited by Sven-Bodo Scholz, Olaf Chitil.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
44. Implementation and Application of Functional Languages
پدیدآورنده: edited by Marco T. Morazán, Sven-Bodo Scholz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.,Software engineering.
45. Implementation and application of functional language
پدیدآورنده: / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
46. Interactive Systems:
پدیدآورنده: edited by Fabio Paternó.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
T385
.
E358
1995
47. International Symposium on Programming :
پدیدآورنده: edited by Mariangiola Dezani-Ciancaglini, Ugo Montanari.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
48. International Symposium on Theoretical Programming
پدیدآورنده: edited by Andrei Ershov, Valery A. Nepomniaschy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
49. Iteration Theories :
پدیدآورنده: by Stephen L. Bloom, Zoltán Ésik.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
B978
1993
50. LATINCRYPT 2017-Progress in Cryptology
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Data encryption (Computer science). ; Software engineering. ; Computer science. ; Logic design. ; Coding theory. ; Cryptology. ;
51. Language and Automata Theory and Applications :
پدیدآورنده: edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
52. Logic, Algebra, and Computation :
پدیدآورنده: edited by Friedrich L. Bauer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
63
E358
1991
53. Logic-Based Program Synthesis and Transformation
پدیدآورنده: edited by María Alpuente.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
54. Logic Program Synthesis and Transformation :
پدیدآورنده: edited by Maurizio Proietti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
55. Logic Programming and Databases
پدیدآورنده: by Stefano Ceri, Georg Gottlob, Letizia Tanca.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Database management.,Logic design.
رده :
QA76
.
63
B978
1990
56. Logic and Algebra of Specification
پدیدآورنده: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
M35
E358
1993
57. Logic and Complexity
پدیدآورنده: by Richard Lassaigne, Michel Rougemont.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational complexity.,Computer science.,Logic design.
رده :
QA267
.
7
B975
2004
58. Logic and Program Semantics
پدیدآورنده: edited by Robert L. Constable, Alexandra Silva
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
59. Logic of Programming and Calculi of Discrete Design :
پدیدآورنده: edited by Manfred Broy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
9
.
L63
E358
1987
60. Logic of Programs :
پدیدآورنده: edited by Erwin Engeler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
